#include<stdio.h>

int main()
{
	printf("qiuruoyu 2017001043\n");
	printf("xumin 2017001016\n");
	printf("zhangjiajia 2009011007\n");
        printf("hansuhui 2006911020\n");
	return 0;
}
